Перегляд за автором "Провотар, А.И."

Сортувати за: Порядок: Результатів:

  • Аксиоматические модели и методы проектирования языковых трансляторов 
    Парасюк, И.Н.; Провотар, А.И.; Кондратенко, В.А. (2003)
    Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.
  • К вопросу о квазифрактальных образованиях воды и их роли в информационных взаимодействиях 
    Провотар, А.И.; Провотар, А.А.; Ляшко, В.И. (Компьютерная математика, 2011)
    Предложена гипотетическая модель возможной рецепции электромагнитного излучения посредством существующих в биоорганизмах динамических квазифрактальных водных образований.
  • Нейронечеткие модели диагностики в системе Н-Гомеопат 
    Провотар, А.И.; Катеринич, Л.А. (2010)
    Рассматриваются вопросы построения нечетких моделей процессов диагностирования в системе Н-Гомеопат и процедур нечеткого логического вывода. Предложен способ реализации нечетких алгоритмов нейронными сетями.
  • Нечеткие объектно-ориентированные динамические сети. I 
    Терлецкий, Д.А.; Провотар, А.И. (Кибернетика и системный анализ, 2015)
    Описана концепция нечетких объектов и классов нечетких объектов, которые позволяют структурировано представлять знания о нечетких, размытых или частично-определенных объектах и их классах. Рассмотрены операции над объектами ...
  • Нечеткие объектно-ориентированные динамические сети. II 
    Терлецкий, Д.А.; Провотар, А.И. (Кибернетика и системный анализ, 2016)
    Приведено обобщение объектно-ориентированных динамических сетей на нечеткий случай, которое позволяет представлять знания об объектах и классах объектов нечеткой природы, а также моделировать их изменения во времени. В ...
  • Нечеткие системы логического вывода и их применение 
    Провотар, А.И.; Лапко, А.В.; Провотар, А.А. (Кибернетика и системный анализ, 2013)
    Розглянуто питання побудови нечітких систем специфікацій процесів діагностування і процедур нечіткого логічного виведення, а також нові постановки та методи розв’язання задач на нечітких моделях. Зокрема, запропоновано ...
  • О некоторых подходах к вычислению неопределенностей 
    Провотар, А.И.; Лапко, А.В. (2010)
    Рассматриваются вопросы вычисления неопределенностей, предлагаемые теорией вероятностей с одной стороны, и теорией воз- можностей – с другой. На примерах конкретных задач исследуются различия в подходах с точки зрения ...
  • О паралогичности некоторых логических построений 
    Василик, П.В.; Провотар, А.И. (Кибернетика и системный анализ, 2008)
    Проаналізовано деякі математичні визначення та побудови теорії обчислень. Показано їх некоректність, а в деяких випадках суперечливість.
  • Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью 
    Ларин, В.О.; Бантыш, О.В.; Галкин, А.В.; Провотар, А.И. (Кибернетика и системный анализ, 2018)
    Изложен подход к описанию акторных систем с общей памятью. Предложен предметно-ориентированный язык Strumok для описания межакторного взаимодействия и работы с общей памятью. Проведена оценка эффективности языка Strumok с ...
  • Формализация: алгоритмический подход 
    Провотар, А.И. (2008)
    Рассматриваются вопросы формализации задач из различных предметных областей. Предлагается алгоритмический подход к формализации.